how to undo the commit pushed using git revert